#ifndef __CPU_TICKS__
#define __CPU_TICKS__			   
#include "os/types.h"

void cpu_ticks_enable(void);
u32 cpu_ticks_abs(void);
u32 cpu_ticks_rel(u32 start);
void cpu_udelay(u32 delay);
void cpu_mdelay(u32 count);
u32 cpu_get_usecond(void);
u32 cpu_get_delta_us(u32 us);
void cpu_reboot(void);
void cpu_delay_reboot(u32 ms);
#endif /* __CPU_TICKS__ */



